“형식적 검증 툴”으로 총 1건 검색

• 형식적 검증 툴, 形式的檢證-, formal verification tool

  2개의 논리 설계 데이터를 비교하는 전자 설계 자동화 툴(EDA tool). 시뮬레이션 패턴 없이 동일한 논리인지를 검증할 수 있다. 특수 용도 집적 회로(ASIC)의 규모가 커짐에 따라서 과거의 설계 자원을 잘 활용하는 데 도움이 되는 시스템이 필요하게 되었는데, 형식적 검증 툴을 써서 논리를 검증해 두면 안심...